basic
\\[0ex]Trans($T$;$x$,$y$.$E$($x$;$y$)) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$a$, $b$, $c$:$T$. $E$($a$;$b$) $\Rightarrow$ $E$($b$;$c$) $\Rightarrow$ $E$($a$;$c$)